481. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
Author: Jones, Neil D.
Library: Central Library and Documentation Center (Kerman)
Subject: ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
Classification :
QA
76
.
L4
v
.
66
482. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
Author: editors, J.W. de Bakker and J.J.M.M. Rutten
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
Classification :
QA
76
.
642
.
T45
1992
483. The Agent Modeling Language--AML
Author: / Radovan Cervenka, Ivan Trencansky
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)
Classification :
QA
,
76
.
76
,.
I58
,
C47
,
2007
484. The Art of Modelling Computational Systems :
Author: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
Classification :
QA76
.
7
.
A78
2019
485. The C answer book :
Author: Clovis L. Tondo, Scott E. Gimpel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C (Computer program language), Problems, exercises, etc.,Programming languages (Electronic computers)
486. The Imperative future :principles of executable temporal logic
Author: edited by Howard Barringer ... ]et al.[
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
76
.
D47
I47
1996
487. The Logic of Partial Information
Author: by Areski Nait Abdallah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
7
B937
1995
488. The McGraw - Hill computer hand book
Author: / editor in chief, Harry Helms
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: Computer -- Hand book, manulas, etc,Programming (Electronic computers) -- Hand books, manulas, etc,Programming languages (Electronic computers) -- Hand books, manulas, etc
Classification :
QA76
.
M37
1983
489. <The> Professional Programmers Guide to C
Author: \ Pat McKay
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: C (Computer program language),Programming languages (Electronic computers),سی (زبان برنامهنویسی کامپیوتر),زبانهای برنامهنویسی کامپیوتر,a03,a04,a03,a04
Classification :
E-Book
,
490. The art of assembly languag
Author: / by Randall Hyde
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Assembler language (Computer program language),Programming languages (Electronic computers)
Classification :
QA
,
76
.
73
,.
A8
,
H97
,
2003eb
491. The art of assembly language
Author: / by Randall Hyde
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Assembler language (Computer program language),Programming languages (Electronic computers)
Classification :
QA76
.
73
.
A8
,
H97
2003
492. The complete ANTLR reference guide
Author: / by Terence Parr
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Parsing (Computer grammar),Programming languages (Electronic computers)- Syntax
Classification :
QA76
.
7
.
P37
2007
493. The definitive ANTLR reference :
Author: Terence Parr.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parsing (Computer grammar),Programming languages (Electronic computers)-- Syntax.,Parsing (Computer grammar),Programming languages (Electronic computers)-- Syntax.,Programming languages-- Grammar.
Classification :
QA76
.
7
.
P37
2007
494. The definitive ANTLR 4 reference
Author: Terence Parr
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Java (Computer program language),Parsing (Computer grammar),Programming languages (Electronic computers)-- Syntax
Classification :
QA267
.
3
.
P377
2014
495. The definitive guide to Masonite :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Web applications. ; Computer programming. ; Python (Computer program language) ; Programming languages (Electronic computers) ; Computer programming. ;
496. The elements of C++ style
Author: Trevor Misfeldt, Gregory Bumgardner, Andrew Gray.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C++ (Computer program language),Programming languages (Electronic computers)
497. The joy of Clojure
Author: Michael Fogus, Chris Houser
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming,Programming languages (Electronic computers)
Classification :
QA76
.
73
.
J38
F64
2011
498. The language of computers
Author: / Bernard A. Galler
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: MAD (Computer program language),Programming languages (Electronic computers)
Classification :
001
.
6424M
G166
499. The language of computers
Author: Galler, Bernard A.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، MAD )Computer program language(,، Programming languages )Electronic computers(
Classification :
QA
76
.
5
.
G3
500. The logic of partial information
Author: Nait Abdallah, Areski
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N35
1995
